M.C.Fitting, V.W.Marek, M.Truszczyński; "The pure logic of necessitation"
Melvin C. Fitting
,
V. Wiktor Marek
,
Miroslaw Truszczyński
Pure Logic of Necessitation
について.